61. Positive systems :
Author: edited by James Lam, Yun Chen, Xingwen Liu, Xudong Zhao, Junfeng Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Control theory-- Computer programs, Congresses.,Positive systems, Congresses.,Computational intelligence.,Control theory-- Computer programs.,Engineering.,Positive systems.
Classification :
QA402
.
L43x
v
.
480
62. Practical TLA+ :
Author: Hillel Wayne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
Classification :
QA76
.
7
63. Pro ASP.NET 4.5 in VB /
Author: Dan Mabbutt, Adam Freeman, Matthew MacDonald
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: BASIC (Computer program language),Visual Basic (Computer program language),Web servers.,Web sites-- Authoring programs.
Classification :
TK5105
.
8885
.
A26
64. Proceedings of the International Conference on Artificial Neural Networks :
Author: ICANN '93. Ed. by Stan Gielen ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
65. Professional WordPress :
Author: Brad Williams, David Damstra, Hal Stern.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: WordPress (Electronic resource),Blogs-- Computer programs.,Web sites-- Authoring programs.
Classification :
TK5105
.
88
.
W66
W55
2015
66. Program construction and verification
Author: Roland C. Backhouse
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programs,Computer programs- Validation
Classification :
QA
،
76
,.
754
،.
P7
,
B28
،
1986
67. Psychoenvironmental forces in substance abuse prevention /
Author: Lorand B. Szalay and Jean Bryson Strohl and Kathleen T. Doherty
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Social perception,Students-- Substance use-- Psychological aspects,Substance abuse-- Prevention,Substance abuse-- Psychological aspects,Substance-Related Disorders-- prevention & control,Substance-Related Disorders-- psychology
Classification :
HV4998
.
S93
1999
68. Psychometric Methods
Author: \ Larry R. Price.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Psychometrics.,روانسنجی
Classification :
BF39
.
P68P8
2017
69. Quantitative drug design :
Author: Yvonne Connolly Martin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Drugs-- Design.,Drugs-- Structure-activity relationships.,QSAR (Biochemistry),Biopharmaceutics.,Drug Design.,Models, Theoretical.,Quantitative Structure-Activity Relationship.,Drugs-- Design.,Drugs-- Structure-activity relationships.,QSAR (Biochemistry)
Classification :
RM301
.
42
.
M37
2010
70. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
71. Resampling Methods
Author: by Phillip I. Good.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical statistics.,Statistics.
72. Second Generation Expert Systems
Author: edited by Jean-Marc David, Jean-Paul Krivine, Reid Simmons.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
76
.
E95
E358
1993
73. Software Engineering with Computational Intelligence
Author: edited by Taghi M. Khoshgoftaar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
74. Software verification and validation for practitioners and managers /
Author: Steven R. Rakitin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Validation.,Computer software-- Verification.,COMPUTER PROGRAMS.,Computer software-- Validation.,Computer software-- Verification.,PROGRAM VERIFICATION (COMPUTERS),Qualitätskontrolle,SOFTWARE RELIABILITY.,Software.
Classification :
QA76
.
76
.
V47
R35
2001
75. Softwore verification and validation; fealistic project approaches
Author: Deutsch, Michael
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer programs- Verification ► Computer programs- Validation
Classification :
005
D486s
76. Sprinkler irrigation decisions support system
Author: A. A. M. Hassan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Agricultural engineering,Agricultural engineering,Applied sciences,Computer science,decision support
77. System-level test and validation of hardware/software systems
Author: / M. Sonza Reorda, Z. Peng, M. Violante (Eds.)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Testing,Computer programs -- Testing
Classification :
QA
76
.
76
.
S64S96
2005
78. System-level test and validation of hardware/software systems
Author: / M. Sonza Reorda, Z. Peng, M. Violante (Eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer systems--Testing,Computer programs--Testing
Classification :
QA
,
76
.
76
,.
S64
,
S96
,
2005
79. TOGAF 9 certified :
Author: prepared by Rachel Harrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture-- Computer programs, Examinations, questions, etc.,Computer systems-- Design-- Computer programs, Examinations, questions, etc.,Enterprise application integration (Computer systems)-- Computer programs, Examinations, questions, etc.
Classification :
QA76
.
9
O7
2010
80. Teach yourself visually Excel 2010 /
Author: by Paul McFedries.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft Excel (Computer file),Microsoft Excel (Computer file),Business-- Computer programs.,Electronic spreadsheets-- Computer programs.,Business-- Computer programs.,Electronic spreadsheets-- Computer programs.
Classification :
HF5548
.
4
.
M523
M3759
2010
